Session3B: STARS − Opacity driving, levitation, opacity data
نویسندگان
چکیده
منابع مشابه
Opacity Testing
Opacity testing is formalized and studied. We specify opacity testers as well as tested systems by (timed) process algebras. We model various testers according to how sophisticated observations of tested system they can make and which kind of conclusions they can obtain. We use this technique to define several realistic security properties. The properties are studied and compared with other sec...
متن کاملOpacity-induced over-expansion of asymptotic giant branch stars
I argue that the behavior of the photospheric opacity in oxygen-rich (similar to solar abundance) upper asymptotic giant branch stars may cause these stars to substantially expand for a few thousand years. I term this process over-expansion. This may occur when the photospheric (effective) temperature drops to Tp ∼ 2900 K, and because the opacity sharply increases as temperature decreases down ...
متن کاملDecomposing Opacity
Transactional memory (TM) algorithms are subtle and the TM correctness conditions are intricate. Decomposition of the correctness condition can bring modularity to TM algorithm design and verification. We present a decomposition of opacity called markability as a conjunction of separate intuitive invariants. We prove the equivalence of opacity and markability. The proofs of markability of TM al...
متن کاملRational Opacity
A key motivation for transparency regulations and disclosure rules is the view that corporations are more opaque than they could be. Traditional arguments attribute this tendency to agency problems between managers on one side and stakeholders and/or outsiders on the other. We propose a completely di erent argument for why corporations limit the ow of information. When secondary markets are sha...
متن کاملOpacity in Tundra Nenets
The analysis of opaque relations presents a problem to classic Optimality Theory (OT) (Prince and Smolensky 1993, McCarthy and Prince 1993), inherently a surface-oriented theory. Many different proposals have been made to integrate the analysis of opacity into OT. In this paper, we address the problem of opacity in Tundra Nenets (TN), a Uralic (Samoyedic) language spoken in Arctic Russia and No...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications in Asteroseismology
سال: 2009
ISSN: 1021-2043,1021-2043
DOI: 10.1553/cia157s155